OpenAI's GPT-5.6 Sol Disproves 20-Year-Old Statistics Conjecture in 90 Minutes
OpenAI's GPT-5.6 Sol Pro disproved a 20-year-old statistics conjecture about the Benjamini-Hochberg false discovery rate procedure in 90 minutes, producing a proof, counterexample, and numerical certi…